Norm compliance checking
نویسندگان
چکیده
In multi-agent systems, norms are used to regulate agents’ behavior so that the objectives of the systems can be realized in a predictable way. Therefore, it is important to check whether agents can comply with the norms imposed on them. However, when norms are interrelated, verification of norm compliance cannot be achieved by checking compliance of each norm separately as done traditionally. To this effect, this extended abstract introduces an approach which first models a set of interrelated norms as Norm Nets, and then map them to Colored Petri Nets (CPNs), by which compliance checking of both individual agents’ behavior and the collective behavior of the system can be performed automatically. With CPNs, it is also possible to identify under which conditions the norms can be complied with.
منابع مشابه
NORMC: a Norm Compliance Temporal Logic Model Checker
We describe NORMC, a model checker for Norm Compliance CTL, a temporal logic for reasoning about compliance in normative systems, implemented in the Haskell programming language. NORMC is intended as a tool for students, researchers, and practitioners to learn about and understand normative systems, and as an exploratory tool for researchers in multi-agent systems. The objectives of the paper a...
متن کاملReasoning under compliance assumptions in normative multiagent systems
The use of norms in multiagent systems has proven to be a successful approach in order to coordinate and regulate the behaviour of participating agents. In such normative systems it is generally assumed that agents can obey or disobey norms. In this paper, we develop a logical framework for normative systems that allows reasoning about agents’ abilities under a multitude of norm compliance assu...
متن کاملNorm Compliance of Protocols in Electronic Institutions∗ [Abstract]
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can and cannot be done, it can be hard to determine whether a desired goal can actually be achieved without violating the norms. To help the agents in this process, agents can make use of predefined (knowledge-based) proto...
متن کاملPlaying with norms: tractability of normative systems for homogeneous game structures
In this paper we study the connection between anonymous (normal form) games and normative systems for homogeneous concurrent game structures. We present a variant of the popular strategic logic atl that allows for reasoning about norm compliance and the strategic ability of coalitions of agents. We broaden the notion of a normative system compared to earlier work and introduce two categories: i...
متن کاملBig, but not unruly: Tractable norms for anonymous game structures
We present a new strategic logic nchatl that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures compactly, avoiding models that have exponential size in the number of agents. Then we show that model checking can be done in polynomial time with respect to this compact representation, even for normative systems that a...
متن کامل